Parity

📁 Source: Mathlib/Data/Fintype/Parity.lean

Statistics

Metric	Count
Definitions decidablePred	1
Theorems card_fin_two	1
Total	2

Fintype

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
card_fin_two 📖	mathematical	—	Fact Even card Fin.fintype	—	—

Fintype.IsSquare

Definitions

Name	Category	Theorems
decidablePred 📖	CompOp	7 math math: quadraticCharFun_eq_zero_iff, quadraticCharFun_eq_one_of_char_two, quadraticCharFun_one, quadraticCharFun_mul, quadraticCharFun_eq_pow_of_char_ne_two, quadraticChar_apply, quadraticCharFun_zero

---

← Back to Index