Hint Resolve cvg_cst is ineffective

[affeldt-aist]

analysis/theories/topology_theory/topology_structure.v

Line 351 in b647b8f

#[global] Hint Resolve cvg_cst : core.

Same for Hint Resolve is_cvg_cst

as observed in the conversion of PR #2029

fyi: @amolinamounier