Theorem Fin.contractNth_apply_of_gt

Modification history