mathlib

d94643c5 - doc(slim_check): improve documentation, swap instances (#4023)