Theorem PrincipalSeg.monotone

Modification history