mathlib3

feat(algebra/pi_instances): bundled homs for apply and single

#2186

Merged