Theorem AlgEquiv.quotientBot_mk

Modification history

2025-04-01 14:16
Mathlib/RingTheory/Ideal/Quotient/Operations.lean
chore(RingTheory): various api additions (#22920) …
Added AlgEquiv.quotientBot_mkView on Github →