mathlib3
77070364 - feat(tactic/by_contra): add by_contra' tactic (#9619)

Commit

4 years ago

feat(tactic/by_contra): add by_contra' tactic (#9619)

Author

jcommelin

jcommelin

Parents

Loading