mathlib

7638fe21 - doc(topology/separation): two typos (#10382)