Theorem NoMaxOrder.not_acc

Modification history