Mathlib v3 is deprecated. Go to Mathlib v4

Inductive foo

Modification history

2023-05-30 23:18
counterexamples/linear_order_with_pos_mul_pos_eq_zero.lean
chore(archive + counterexamples): namespaces imo, theorems_100, counterexample, plus three more (#19129) …
Deleted fooView on Github →
2022-06-04 17:34
test/set.lean
feat(tactic/set): fix a bug (#14488) …
Added fooView on Github →
2021-05-15 21:20
src/counterexamples/linear_order_with_pos_mul_pos_eq_zero.lean
feat(counterexamples/*): add counterexamples folder (#7558) …
Added fooView on Github →
2021-01-03 23:18
test/rcases.lean
fix(tactic/rcases): fix rcases? goal alignment (#5576) …
Added fooView on Github →
2020-08-15 12:43
test/derive_fintype.lean
feat(tactic/derive_fintype): derive fintype instances (#3772) …
Added fooView on Github →