Theorem ENNReal.ofReal_cinfi

Modification history

2024-01-28 09:07

Mathlib/Probability/Kernel/CondCdf.lean

refactor(Probability/Kernel/CondCdf): mv ofReal_cinfi (#10044)

Modified ENNReal.ofReal_cinfi View on Github →

2023-06-16 15:28

Mathlib/Probability/Kernel/CondCdf.lean

feat: port Probability.Kernel.CondCdf (#5143)

Added ENNReal.ofReal_cinfi View on Github →