Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-11-12 12:14 7404f0ea

View on Github →

feat(algebra/pointwise): lemmas relating to submonoids (#4960)

Estimated changes

Modified src/algebra/pointwise.lean

added theorem submonoid.mul_subset

added theorem submonoid.mul_subset_closure