Def IsWellOrder.toHasWellFounded

Modification history