Mathlib v3 is deprecated. Go to Mathlib v4

Structure foo2

Modification history

2020-11-03 17:56
test/mk_iff_of_inductive.lean
feat(tactic/mk_iff_of_inductive_prop): mk_iff attribute (#4863) …
Added foo2View on Github →