(Q5579)

Revision as of 20:03, 25 March 2023 by Fire (talk | contribs) (‎Created claim: defining formula (P333): \operatorname{conv} X := \bigcap_{X\subseteq K \subseteq V \atop K\ \mathrm{konvex}} K)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statements

0 references
0 references
 
edit