Theorem Fin.insertNth_mul

Modification history