Congruences on the opposite ring #
This file defines the order isomorphism between the congruences on a ring R
and the congruences on
the opposite ring Rᵐᵒᵖ
.
@[simp]
This file defines the order isomorphism between the congruences on a ring R
and the congruences on
the opposite ring Rᵐᵒᵖ
.