Theorem PrincipalSeg.strictMono

Modification history