mathlib
e3a1a619 - feat(tactic/interactive): identity tactic (#3295)

Commit

5 years ago

feat(tactic/interactive): identity tactic (#3295) A surprisingly missing tactic combinator.

Author

digama0

Parents