AngouriMath
Signs(AngouriMath.Core.Sets.Cardinality.Size,AngouriMath.Core.Sets.Cardinality.Size)
Method (no overloads)
Summary
Which signs left - right can have for two sizes read, by what ZFC proves of
alephs and powers of two; all three where it proves nothing.
alephs and powers of two; all three where it proves nothing.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online