Theorem nhdsGE_eq_iInf_inf_principal

Modification history