HierarchyDesign
📁 Source: Mathlib/Algebra/HierarchyDesign.lean
Statistics
| Metric | Count |
|---|---|
| 6 | |
| Theorems | 0 |
| Total | 6 |
LibraryNote
Definitions
| Name | Category | Theorems |
|---|---|---|
commutative_subobjects 📖 | CompOp | — |
implicit_instance_arguments 📖 | CompOp | — |
instance_argument_order 📖 | CompOp | — |
lower_instance_priority 📖 | CompOp | — |
the_algebraic_hierarchy 📖 | CompOp | — |
«reducible_non-instances» 📖 | CompOp | — |
---