Mathlib v3 is deprecated. Go to Mathlib v4

Def tactic.explode.head'

Modification history

2020-07-05 10:40
src/tactic/explode.lean
doc(tactic/explode): expand doc string (#3271) …
Deleted tactic.explode.head'View on Github →
2018-08-31 01:45
tactic/explode.lean
feat(tactic/explode): line by line proof display for proof terms
Added tactic.explode.head'View on Github →