Theorem SignType.nonpos_iff

Modification history