mathlib

712e25bb - refactor(algebra/op_closed): make it easier to generalize over subobjects