Commit 2023-02-20 18:21 5c2c900b

View on Github →

refactor: Generalize RingHom.coe_mk & RingHom.coe_monoidHom_mk (#2385)

Estimated changes

modified theorem RingHom.coe_mk
modified theorem RingHom.coe_monoidHom_mk