Commit 2024-03-27 14:40 89e669ab
View on Github →refactor: use CdfToKernel in CondCdf (#11529) The recently added file CdfToKernel contains generalizations of many lemmas in the file CondCdf. This PR refactors CondCdf to use the new results.
refactor: use CdfToKernel in CondCdf (#11529) The recently added file CdfToKernel contains generalizations of many lemmas in the file CondCdf. This PR refactors CondCdf to use the new results.