We have the following indirect implication of form equivalence classes:

424 \(\Rightarrow\) 424
given by the following sequence of implications, with a reference to its direct proof:

Implication Reference
424 \(\Rightarrow\) 424

Here are the links and statements of the form equivalence classes referenced above:

Howard-Rubin Number Statement
424:  Every Lindel\"{o}f metric space is super second countable.  \ac{Gutierres} \cite{2004} and note 159. \iput{super second countable}
424:  Every Lindel\"{o}f metric space is super second countable.  \ac{Gutierres} \cite{2004} and note 159. \iput{super second countable}

Comment:

Back