Theorem PrincipalSeg.lt_apply_iff

Modification history