Def testing.Function.Injective.commSemigroup

Modification history

2025-01-23 21:13
MathlibTest/fast_instance.lean
feat: add `fast_instance%` elaborator (#11521) …
Added testing.Function.Injective.commSemigroupView on Github →