mathlib

a008609d - doc(topology/sheaves/presheaf_of_functions): fix some documentation t… (#6835)