defs): `vadd_assoc_class` (#15844)

Commit

3 years ago

feat(group_theory/group_action/defs): `vadd_assoc_class` (#15844) Additivize `is_scalar_tower` into a new class `vadd_assoc_class`.

Author

YaelDillies

Parents