Theorem Nat.ordProj_mul_ordCompl_eq_self

Modification history