Skip to content

Update Mathlib/Topology/Algebra/Monoid/Defs.lean

cd3e8e0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Closed

[Merged by Bors] - feat: SeparatelyContinuousMul class for multiplication which is continuous in each variable #35589

Update Mathlib/Topology/Algebra/Monoid/Defs.lean
cd3e8e0
Select commit
Loading
Failed to load commit list.