Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-11-17 05:49 e863c088

View on Github →

feat(algebra/pointwise): set.add_comm_monoid (#1696)

feat(algebra/pointwise): set.add_comm_monoid
defs not instances
fixing instance names

Estimated changes

Modified src/algebra/pointwise.lean

added def set.add_comm_monoid

added def set.comm_monoid

Modified src/measure_theory/ae_eq_fun.lean

Modified src/measure_theory/integration.lean

Modified src/measure_theory/measure_space.lean

Modified src/measure_theory/outer_measure.lean