mathlib3
0c52d3b4 - doc(src/tactic/doc_commands): typo “between” → “better” (#12804)

Commit

3 years ago

doc(src/tactic/doc_commands): typo “between” → “better” (#12804)

Author

nomeata

nomeata

Parents

Loading