Commit 2025-10-25 08:12 aac77d19

View on Github →

feat(Algebra/BigOperators/Finsupp/Fin): add finTwoArrowEquiv (#30538) Co-authored by: @AntoineChambert-Loir

Estimated changes