Theorem IsWellFounded.exists_well_order_ge

Modification history