Theorem Ring.ord_mul

Modification history