Theorem RingCon.coe_bot

Modification history

2024-05-14 16:33
Mathlib/RingTheory/Congruence.lean
feat: RingCon.coe_bot (#12860) …
Added RingCon.coe_botView on Github →