Theorem RingHom.IsIntegral.to_finite

Modification history