Second part of a two-part work by Vappereau on separation. Uses Boolean algebra and topology for the formalization of his argument.
[Added: 2025/08/28]
Second part of a two-part work by Vappereau on separation. Uses Boolean algebra and topology for the formalization of his argument.
[Added: 2025/08/28]