Theorem InitialSeg.codRestrict_apply

Modification history