Stream: Is there code for X?
Adam Topaz (Jan 22 2021 at 19:10):
Do we have the lemma saying that a vector space
K is finite dimensional if
findim K V is positive?
findim is defined to be zero if
V is infinite dimensional)
Rémy Degenne (Jan 22 2021 at 19:15):
something that would be the modus tollens of
Last updated: May 07 2021 at 21:10 UTC