Theorem Fin.pred_mk

Modification history