Theorem RingHom.coe_fst

Modification history