Theorem IsRingHom.of_semiring

Modification history