Commit 2024-03-22 13:23 08e73cbc

View on Github →

chore(Algebra/BigOperators/Basic): argument name (#11571)

Estimated changes

modified theorem Fintype.prod_of_injective