Inventory: S
The rows of the inventory whose names start with S. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.
- Other 26896
- A 5694
- B 4524
- C 7434
- D 4863
- E 5167
- F 4998
- G 4504
- H 4194
- I 1415
- J 3180
- K 3512
- L 1962
- M 5019
- N 4008
- O 928
- P 5631
- Q 3296
- R 5027
- S 7101
- T 5981
- U 1055
- V 3253
- W 3675
- X 2801
- Y 2926
- Z 3092
Rows 7101–7101 of 7101.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| sₘₙ theorem | SDH45D99SM | statement | open | mathlib_1000 Q1766814, Mathlib Nat.Partrec.Code.smn, Wikidata Q1766814, thousand_plus Q1766814, Wikipedia Smn theorem, MathWorld Kleeness-m-nTheorem |