Theorem Nat.nth_apply_eq_orderIsoOfNat

Modification history