TransferInstance
📁 Source: Mathlib/Algebra/GroupWithZero/TransferInstance.lean
Statistics
| Metric | Count |
|---|---|
| 5 | |
| Theorems | 0 |
| Total | 5 |
Equiv
Definitions
| Name | Category | Theorems |
|---|---|---|
commMonoidWithZero 📖 | CompOp | — |
monoidWithZero 📖 | CompOp | — |
mulZeroClass 📖 | CompOp | — |
mulZeroOneClass 📖 | CompOp | — |
semigroupWithZero 📖 | CompOp | — |
---