Theorem SSet.StrictSegal.isStrictSegal

Modification history