CharP

📁 Source: Mathlib/LinearAlgebra/Matrix/CharP.lean

Statistics

Metric	Count
Definitions	0
Theorems charP	1
Total	1

Matrix

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
charP 📖	mathematical	—	CharP Matrix instAddMonoidWithOne	—	CharP.cast_eq_zero_iff

---

← Back to Index