HierarchyDesign
š Source: Mathlib/Algebra/HierarchyDesign.lean
Statistics
| Metric | Count |
|---|---|
| 5 | |
| Theorems | 0 |
| Total | 5 |
LibraryNote
Definitions
| Name | Category | Theorems |
|---|---|---|
implicit_instance_arguments š | CompOp | ā |
instance_argument_order š | CompOp | ā |
lower_instance_priority š | CompOp | ā |
the_algebraic_hierarchy š | CompOp | ā |
Ā«reducible_non-instancesĀ» š | CompOp | ā |
---