Commit 2024-05-27 05:12 ae43e7f0

View on Github →

refactor(Algebra/Polynomial/Laurent): use Int.ofNat.inj (#12426)

Estimated changes

added theorem Int.ofNat_injective