Commit 2024-05-14 16:33 7193bb34

View on Github →

feat: RingCon.coe_bot (#12860) Useful in FLT

Estimated changes

added theorem RingCon.coe_bot