Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-08-09 12:09 bf3dde12

View on Github →

refactor(set_theory/cardinal): remove noncomputable theory

Estimated changes

deleted def cardinal.min
deleted def cardinal.succ
deleted def cardinal.sup