Second part of a two-part work by Vappereau 上の 分離. Uses Boolean algebra and topology for the formalization of his argument.
[追加した: 2025/08/28]
Second part of a two-part work by Vappereau 上の 分離. Uses Boolean algebra and topology for the formalization of his argument.
[追加した: 2025/08/28]