Commit 2024-04-02 11:51 9ad9f6e3

View on Github →

feat: instances for actions of ulifted spaces (#11777)

Estimated changes

Modified Mathlib/Topology/Algebra/ConstMulAction.lean

Modified Mathlib/Topology/Algebra/Group/Basic.lean

Modified Mathlib/Topology/Algebra/Monoid.lean

Modified Mathlib/Topology/Algebra/MulAction.lean

Modified Mathlib/Topology/Algebra/Ring/Basic.lean