Theorem InitialSeg.init_iff

Modification history