Theorem Fin.symm_cast

Modification history