Prod

📁 Source: Cslib/Foundations/Semantics/FLTS/Prod.lean

Statistics

Metric	Count
Definitions prod	1
Theorems prod_mtr_eq	1
Total	2

Cslib.FLTS

Definitions

Name	Category	Theorems
prod 📖	CompOp	1 math math: prod_mtr_eq

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
prod_mtr_eq 📖	mathematical	—	mtr prod	—	—

---

← Back to Index