mathlib

f2fd6db6 - chore(*): removing some `by { dunfold .., apply_instance }` proofs (#13050)

chore(*): removing some `by { dunfold .., apply_instance }` proofs (#13050) Replaces the proofs `by { dunfold .., apply_instance }` by the exact term that is outputted by `show_term`.