Theorem Nat.pair_eq_of_unpair_eq

Modification history