ring homomorphisms (#11634)

Commit

4 years ago

feat(algebra/order/hom/ring): Ordered semiring/ring homomorphisms (#11634) Define `order_ring_hom` with notation `→+*o` along with its hom class.

Author

YaelDillies

Parents