mathlib3
b04851fe - chore(tactic): fix tactic doc tags (#12131)

Commit

3 years ago

chore(tactic): fix tactic doc tags (#12131) Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>

Author

robertylewis

Parents