Theorem SignType.not_one_lt

Modification history