Mathlib v3 is deprecated. Go to Mathlib v4

Theorem submodule.supr_mul

Modification history

2021-08-31 23:00

src/algebra/algebra/operations.lean

feat(algebra/{pointwise,algebra/operations}): add `supr_mul` and `mul_supr` (#8923) …

Added submodule.supr_mul View on Github →