Theorem WellFounded.exists_well_order_ge

Modification history