Blueprint Single Declared Group Wiring
Definition28
uses 0used by 0XL∃∀N
Lean status
- No associated Lean code or declarations.
Only entry in its declared group.