Theorem Nat.Partrec.of_eq_tot

Modification history