Theorem Ring.ord_one

Modification history