squarefree): fix a tactic doc typo for norm num extension (#15189)

Commit

3 years ago

chore(data/nat/squarefree): fix a tactic doc typo for norm num extension (#15189)

Author

alexjbest

Parents