chore(Tactic): rewrite reduce_mod_char tactic docstring#37929
Open
Vierkantor wants to merge 2 commits intoleanprover-community:masterfrom
Open
chore(Tactic): rewrite reduce_mod_char tactic docstring#37929Vierkantor wants to merge 2 commits intoleanprover-community:masterfrom
reduce_mod_char tactic docstring#37929Vierkantor wants to merge 2 commits intoleanprover-community:masterfrom
