Theorem Nat.nth_false

Modification history