Def equiv.prod_equiv_of_equiv_nat
Modification history
2021-08-16 06:19
src/data/equiv/nat.lean
fix(*): fix universe levels (#8677) …
Modified equiv.prod_equiv_of_equiv_natView on Github →2019-07-11 13:58
src/data/equiv/nat.lean
refactor(*): change priority of \simeq (#1210) …
Modified equiv.prod_equiv_of_equiv_natView on Github →