Theorem SSet.StrictSegal.isPointwiseRightKanExtensionAt.fac_aux₃

Modification history