Prod

📁 Source: Cslib/Computability/Automata/DA/Prod.lean

Statistics

Metric	Count
Definitions prod	1
Theorems prod_mtr_eq	1
Total	2

Cslib.Automata.DA

Definitions

Name	Category	Theorems
prod 📖	CompOp	1 math math: prod_mtr_eq

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
prod_mtr_eq 📖	mathematical	—	Cslib.FLTS.mtr toFLTS prod	—	Cslib.FLTS.prod_mtr_eq

---

← Back to Index