Theorem SSet.Truncated.StrictSegal.isStrictSegal

Modification history