mathlib

20f3e95b - Wrap in section to control typeclass instances