mathlib
e264e5f4 - feat(tactic/ext): `ext?` displays applied lemmas (#5375)

Commit

5 years ago

feat(tactic/ext): `ext?` displays applied lemmas (#5375) refactor using `state_t` instead of state passing style

Author

Jesse Michael Han

Parents