mathlib3

0c024a62 - chore(*): standardize Prop/Type instance names (#8360)

chore(*): standardize Prop/Type instance names (#8360) autogenerated names for these instances mention `sort.` instead of `Prop.` Co-authored-by: Eric <37984851+ericrbg@users.noreply.github.com>