conditionals are almost surely total

Last updated Dec 7, 2024

Conditionals in a copy-discard category are almost surely total with respect to the marginal.

• almost-sure equality

Back: conditionals.