Theorem SSet.face_le_horn

Modification history