mathlib3

825b341b - feat(ring_theory/is_tensor_product): Add predicate `algebra.is_pushout`. (#17197)