nat): remove `equiv.nat_prod_nat_equiv_nat` (#15509)

Commit

3 years ago

refactor(logic/equiv/nat): remove `equiv.nat_prod_nat_equiv_nat` (#15509) This is a duplicate of `nat.mkpair_equiv`.

Author

urkud

Parents