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.

Estimated changes

deleted structure ProbabilityTheory.HasCondCDF