ConjAct

📁 Source: Mathlib/Algebra/Ring/Action/ConjAct.lean

Statistics

Metric	Count
Definitions unitsMulSemiringAction	1
Theorems	0
Total	1

ConjAct

Definitions

Name	Category	Theorems
unitsMulSemiringAction 📖	CompOp	6 math math: spinGroup.conjAct_smul_range_ι, Unitary.toAlgEquiv_conjStarAlgAut, pinGroup.conjAct_smul_range_ι, Unitary.toRingEquiv_conjStarAlgAut, Module.End.mulSemiringActionToAlgEquiv_conjAct_surjective, lipschitzGroup.conjAct_smul_range_ι

---

← Back to Index