10.3. SCKA SM
Definition10.3.1
Definition10.3.2
Group: SCKA SM. (5)
Statement uses 4
Used by 4
Lean status
- No associated Lean code or declarations.
\todo
LeanLean anchor pending
uses Definition 10.3.1 · Definition 9.1.1 · Definition 5.1.1 · Definition 7.1.1 · github #144
Theorem10.3.6
Group: SCKA SM. (5)
Statement uses 4
Lean status
- No associated Lean code or declarations.
\todo
LeanLean anchor pending
uses Definition 10.3.2 · Theorem 10.3.3 · Theorem 10.3.4 · Theorem 10.3.5 · github #148
References: