Pi

📁 Source: FLT/Mathlib/Algebra/Algebra/Pi.lean

Statistics

Metric	Count
Definitions piCongrFiberwise, semialgHom, semialgHomPi	3
Theorems semialgHomPi_apply, semialgHom_apply	2
Total	5

AlgEquiv

Definitions

Name	Category	Theorems
piCongrFiberwise 📖	CompOp	—

Pi

Definitions

Name	Category	Theorems
semialgHom 📖	CompOp	1 math math: semialgHom_apply
semialgHomPi 📖	CompOp	2 math math: semialgHomPi_apply, Continuous.piSemialgHomPi

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
semialgHomPi_apply 📖	mathematical	—	SemialgHom instFunLike semialgHomPi	—	—
semialgHom_apply 📖	mathematical	—	SemialgHom instFunLike semialgHom	—	—

---

← Back to Index