mathlib

c92b376b - changed definition of ultrafilter.glued_generators_of_pushforwards_function to term style