Mathlib v3 is deprecated. Go to Mathlib v4

Def equiv.sigma_nat_succ

Modification history

2022-05-09 14:40

src/logic/equiv/basic.lean

feat(model_theory/language_map): Cardinality of languages with constants (#13981) …

Added equiv.sigma_nat_succ View on Github →