Mathlib Changelog
v4
Changelog
About
Github
Theorem
RingCon.coe_bot
Modification history
2024-05-14 16:33
Mathlib/RingTheory/Congruence.lean
feat: RingCon.coe_bot (#12860) …
Added
RingCon.coe_bot
View on Github →