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
.