mathlib3
822af854 - feat(tactic/push_neg): #push_neg user command (#16775)

Commit

3 years ago

feat(tactic/push_neg): #push_neg user command (#16775)

Author

hrmacbeth

hrmacbeth

Parents

Loading