Theorem vadd_eq_self_of_mem_zmultiples
Modification history
2025-05-14 19:14
Mathlib/GroupTheory/OrderOfElement.lean
feat(Tactic/ToAdditive): check that existing additive declaration matches up (#24401) …
Modified vadd_eq_self_of_mem_zmultiplesView on Github →