mathlib3

ccd37746 - chore(ring_theory/*): dot notation for `submodule.fg` and `subalgebra.fg` (#13737)