mathlib3
71bc7f41 - feat(set_theory/ordinal_notation): nonote is well founded (#10462)

Commit

4 years ago

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

Author

digama0

digama0

Parents

Loading