Theorem SignType.nonpos_iff_ne_one

Modification history