mathlib
ca4da6f4 - Add `comm_semigroup Ioc` without `nontrivial`

Commit

3 years ago

Add `comm_semigroup Ioc` without `nontrivial`

Author

stuart-presnell

stuart-presnell

Committer

stuart-presnell

stuart-presnell

Parents

Loading