Theorem SignType.pos_eq_one

Modification history