mathlib

e8839a30 - refactor(logic/small, *): Infer `f : α → β` when followed by a simple condition on `f` (#11037)

refactor(logic/small, *): Infer `f : α → β` when followed by a simple condition on `f` (#11037) Co-authored-by: Yury G. Kudryashov <urkud@urkud.name> Co-authored-by: Eric Wieser <wieser.eric@gmail.com>