$ x = 0 $: $ P $: $ orall y\ (0 \mid y \Rightarrow y \mid 0) $.

Mon, 04 May 2026 07:23:33 +0000

Content under review