Theorem PrincipalSeg.equivLT_top

Modification history