Theorem PrincipalSeg.equivLT_apply

Modification history