Theorem SSet.StrictSegal.isRightKanExtension

Modification history