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