Theorem Fintype.prod_Prop

Modification history

2025-04-19 14:06

Mathlib/Algebra/BigOperators/Group/Finset/Basic.lean

chore(Algebra/BigOperators/Group/Finset/Basic): use meaningful letter names (#24123) …

Modified Fintype.prod_Prop View on Github →

2024-12-16 14:33

Mathlib/Algebra/BigOperators/Group/Finset.lean

feat(LinearAlgebra): general transitivity of norm (#19978) …

Added Fintype.prod_Prop View on Github →