Mathlib v3 is deprecated. Go to Mathlib v4

Inductive {u}

Modification history

2019-09-17 18:02
src/set_theory/surreal.lean
feat(set_theory/game): the theory of combinatorial games (#1274) …
Deleted {u}View on Github →
2019-08-20 12:14
src/data/tree.lean
doc(tactic/ring2): document parts of ring2 (#1208) …
Added {u}View on Github →
2019-05-17 17:38
src/set_theory/surreal.lean
feat(set_theory/surreal): surreal numbers (#958) …
Added {u}View on Github →
2018-08-30 13:27
logic/basic.lean
feat(logic/basic): introduce pempty
Added {u}View on Github →
2018-08-04 18:40
set_theory/lists.lean
feat(set_theory/lists): finite ZFA
Added {u}View on Github →