Commit 2020-06-15 16:49 2e752e13
View on Github →feat(tactic/group): group normalization tactic (#3062) A tactic to normalize expressions in multiplicative groups.
feat(tactic/group): group normalization tactic (#3062) A tactic to normalize expressions in multiplicative groups.