Theorem SSet.StrictSegal.isPointwiseRightKanExtensionAt.fac_aux₁

Modification history