Commit 2021-05-26 13:34 273546ec
View on Github →feat(group_theory/sub{group,monoid,semiring,ring}): subobjects inherit the actions of their carrier type (#7665)
This acts as a generalization of algebra.of_subsemiring
and algebra.of_subring
, and transfers the weaker action structures too.