Theorem Fin.orderPred_apply

Modification history