chore: try to use fast_instance in basic definitions#37925

sgouezel wants to merge 3 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

sgouezel:SG_moreFastsgouezel/mathlib4:SG_moreFastCopy head branch name to clipboard