mathlib3

1b9de287 - refactor(data/fun_like,logic/equiv): generalize instances (#17205)

refactor(data/fun_like,logic/equiv): generalize instances (#17205) Add `fun_like.subsingleton_cod` and `equiv_like.subsingleton_dom`. These are not instances to avoid timeouts in TC searches.