mathlib3
d14ac1fe - feat(*) : added missing lemma for pointwise smul of submonoid, add_subgroup, add_submonoid, subsemiring, and semiring. (#10908)

Commit

4 years ago

feat(*) : added missing lemma for pointwise smul of submonoid, add_subgroup, add_submonoid, subsemiring, and semiring. (#10908) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

Author

jjaassoonn

Parents

c2debc48

mathlib3 d14ac1fe - feat(*) : added missing lemma for pointwise smul of submonoid, add_subgroup, add_submonoid, subsemiring, and semiring. (#10908)

mathlib3
d14ac1fe - feat(*) : added missing lemma for pointwise smul of submonoid, add_subgroup, add_submonoid, subsemiring, and semiring. (#10908)