JLog1 + HoTT

Siehe hier.

Die Kommentarfunktion ist geschlossen.