Theorem Nat.nth_eq_sInf

Modification history