Commit 2023-12-11 13:18 ad02f2a2

View on Github →

feat: Measurability of logic operators (#8952) From PFR

Estimated changes

added theorem Measurable.and
added theorem Measurable.exists
added theorem Measurable.forall
added theorem Measurable.iff
added theorem Measurable.imp
added theorem Measurable.not
added theorem Measurable.or