quotient): abstract a `ring_con` structure, to be used for `ring_quot` too

Commit

3 years ago

refactor(ring_theory/ideal/quotient): abstract a `ring_con` structure, to be used for `ring_quot` too

Author

eric-wieser

Parents