Second part of a two-part work by Vappereau på separation. Uses Boolean algebra and topology for the formalization of his argument.
02_2_0 La separation parties I _rappel_
[Added: 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.
02_2_0 La separation parties I _rappel_
[Added: 2025/08/28]