Theorem pure_sup_nhdsNE

Modification history