Commit 2025-11-14 12:57 a3b56a94

View on Github →

chore(Data/PNat): deprecate gcd_eq_left (#31606)

Estimated changes

deleted theorem PNat.gcd_eq_left