Theorem SSet.StrictSegal.isPointwiseRightKanExtensionAt.fac_aux₂

Modification history