Theorem SSet.KanComplex.hornFilling

Modification history