Commit 2022-11-25 11:49 4b4e76ca
View on Github →feat(group_theory/submonoid): add submonoid.powers_one (#17692)
- Add
submonoid.powers_oneandadd_submonoid.multiples_zero. - Use
to_additiveto generate more proofs.
feat(group_theory/submonoid): add submonoid.powers_one (#17692)
submonoid.powers_one and add_submonoid.multiples_zero.to_additive to generate more proofs.