Theorem orderOf_ofAdd_eq_addOrderOf

Modification history