Flag

📁 Source: Mathlib/Algebra/Order/Group/Action/Flag.lean

Statistics

Metric	Count
Definitions instMulActionOrderIso, instSMulOrderIso	2
Theorems coe_smul	1
Total	3

Flag

Definitions

Name	Category	Theorems
instMulActionOrderIso 📖	CompOp	—
instSMulOrderIso 📖	CompOp	1 math math: coe_smul

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
coe_smul 📖	mathematical	—	SetLike.coe Flag Preorder.toLE instSetLike OrderIso instSMulOrderIso Set Set.smulSet SemigroupAction.toSMul Monoid.toSemigroup DivInvMonoid.toMonoid Group.toDivInvMonoid RelIso.instGroup MulAction.toSemigroupAction RelIso.applyMulAction	—	—

---

← Back to Index