Mathlib v3 is deprecated. Go to Mathlib v4

Def tactic.itauto.map_proof

Modification history

2021-12-30 21:39
src/tactic/itauto.lean
feat(tactic/itauto): add support for [decidable p] assumptions (#10744) …
Added tactic.itauto.map_proofView on Github →