AngouriMath
Navigation
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-2026 · Project's repo · Site's repo · Octicons · Transparency · 5057 pages online