Theorem Ring.PositiveCone.one_pos

Modification history