Theorem isCoatomic_of_orderTop_gt_wellFounded

Modification history