Theorem Nat.nth_eq_getD_sort

Modification history