Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-11-26 07:20 71bc7f41

View on Github →

feat(set_theory/ordinal_notation): nonote is well founded (#10462)

Estimated changes

added theorem nonote.wf