mathlib

7bbb759f - chore(algebra/free_algebra): Make the second type argument to lift and ι implicit (#4299)

chore(algebra/free_algebra): Make the second type argument to lift and ι implicit (#4299) These can always be inferred by the context, and just make things longer. This is consistent with how the type argument for `id` is implicit. The changes are applied to downstream uses too.