Commit 2026-03-10 22:48 dcc3f2a8
View on Github →chore(Tactic): rewrite finiteness tactic docstring (#35818)
This PR (re)writes the docstrings for the finiteness tactic, to consistently match the official style guide, to make sure they are complete while not getting too long.
A bit of restructuring and clarification.