mathlib

faf1df48 - chore(topology/sheaves/sheaf_of_functions): rely less on defeq (#3972)

chore(topology/sheaves/sheaf_of_functions): rely less on defeq (#3972) This backports some changes from the `prop_limits` branch. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>