Theorem PrincipalSeg.le_apply_iff

Modification history