Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-05-14 16:33
7193bb34
View on Github →
feat: RingCon.coe_bot (
#12860
) Useful in FLT
Estimated changes
Modified
Mathlib/RingTheory/Congruence.lean
added
theorem
RingCon.coe_bot