Step
*
of Lemma
choice-baire
ChoicePrinciple(ℕ ⟶ ℕ)
BY
{ EAuto 2 }
Latex:
Latex:
ChoicePrinciple(\mBbbN{}  {}\mrightarrow{}  \mBbbN{})
By
Latex:
EAuto  2
Home
Index