Commit 2025-02-20 01:21 d1504b80

View on Github →

chore(Tactic/Abel): cleanup abel docs and use tactic_alt attribute (#21085) Use tactic_alt attribute to group all variations of abel as a single tactic. Moreover, add abel ! (aliased by abel!) as valid syntax and remove old mathlib3 syntax for abel.

Estimated changes