Theorem SSet.Truncated.StrictSegal.spineInjective

Modification history