Set of Finite Character with Countable Union is Type M/Proof 2/Historical Note

== Historical Note on Proof $2$ of Set of Finite Character with Countable Union is Type $M$ == According to and, this proof was put in place by.

This was reported by in $1930$.