`pseudoMetric_bool`: documentation mismatch

[affeldt-aist]

analysis/theories/topology_theory/bool_topology.v

Line 10 in 6a6ada7

(* pseudoMetric_bool == an alias for bool equipped with the *)

The documentation does not match the code.
Is the alias not useful anymore? @zstone1 @Tragicus

[Tragicus]

I could not find any reference to it in the code, so I guess not.