Def onote.NF
Modification history
2021-03-24 16:04
src/set_theory/ordinal_notation.lean
feat(tactic/lint): linter for @[class] def (#6061) …
Deleted onote.NFView on Github →2020-07-23 11:08
src/set_theory/ordinal_notation.lean
chore(set_theory/ordinal): split into multiple files (#3517) …
Modified onote.NFView on Github →