Theorem Fin.contractNth_apply_of_eq

Modification history