mathlib3

[Merged by Bors] - chore(ring_theory/kaehler): cleanup instances

#19234

Closed