sigma): Scalar action on a sigma type (#14825)

Commit

3 years ago

feat(group_theory/group_action/sigma): Scalar action on a sigma type (#14825) `(Π i, has_scalar α (β i)) → has_scalar α (Σ i, β i)` and similar.

Author

YaelDillies

Parents