Commit 2025-12-24 13:09 aed28ae0

View on Github →

feat: Int.gcd_left_comm (#33235) From flt-regular

Estimated changes

added theorem Int.gcd_left_comm