Theorem PrincipalSeg.init_iff

Modification history