Theorem SignType.pos_iff

Modification history