Theorem InitialSeg.eq_or_principal

Modification history