Theorem Fin.coe_of_injective_castSucc_symm

Modification history