Theorem dirSupInacc_iff_forall_sSup

Modification history