Subobjects

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

Statistics

Metric	Count
Definitions mulSemiringAction, mulSemiringAction, instMulSemiringActionSubtypeMem	3
Theorems	0
Total	3

Subgroup

Definitions

Name	Category	Theorems
mulSemiringAction 📖	CompOp	13 math math: IsGaloisGroup.fixedPoints_top, IsGaloisGroup.fixedPoints_fixingSubgroup, IsGaloisGroup.le_fixedPoints_iff_le_fixingSubgroup, IsGaloisGroup.fixingSubgroup_fixedPoints, IsGaloisGroup.fixedPoints_bot, instIsInvariantSubtypeMemSubalgebraSubalgebraSubgroupQuotient, IsGaloisGroup.intermediateField, IsGaloisGroup.intermediateFieldEquivSubgroup_symm_apply, IsGaloisGroup.subgroup, IsGaloisGroup.fixedPoints_le_of_le, IsGaloisGroup.finrank_fixedPoints_eq_card_subgroup, instSMulCommClassQuotientSubgroupSubtypeMemSubalgebraSubalgebra, IsGaloisGroup.intermediateFieldEquivSubgroup_symm_apply_toDual

Submonoid

Definitions

Name	Category	Theorems
mulSemiringAction 📖	CompOp	—

(root)

Definitions

Name	Category	Theorems
instMulSemiringActionSubtypeMem 📖	CompOp	—

---

← Back to Index