Theorem densely_ordered_iff_forall_not_covBy

Modification history