Theorem NoMinOrder.not_acc

Modification history