Theorem Fin.orderPred_zero

Modification history