Theorem Fin.orderPred_eq

Modification history