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