Mathlib v3 is deprecated. Go to Mathlib v4

Inductive tactic.tfae.arrow

Modification history

2020-01-29 17:00
src/tactic/tfae.lean
chore(*): add inhabited instances (#1898) …
Modified tactic.tfae.arrowView on Github →
2018-10-04 15:08
tactic/tfae.lean
feat(tactic/tfae): tactic for decomposing a proof into a set of …
Added tactic.tfae.arrowView on Github →