Commit 2025-10-28 10:18 1682606f

View on Github →

chore(Computability/Language): deprecate some duplicate order lemmas (#30912)

Estimated changes

modified theorem Language.le_mul_congr