Commit 2025-08-27 18:24 65e64790

View on Github →

chore(LinearAlgebra/AffineSpace): golf entire univ_fin2 using rfl (#28528)

Estimated changes

modified theorem Finset.univ_fin2