Theorem nhdsSet_eq_principal_iff

Modification history