Draft: `comm_monoid (Ioc 0 1)`

Commit

4 years ago

Draft: `comm_monoid (Ioc 0 1)` Update instances.lean Update instances.lean Update instances.lean