Theorem Directed.sequence_le

Modification history

2024-01-28 09:50

Mathlib/Logic/Encodable/Basic.lean

refactor(Probability/Kernel/CondCdf): mv some theorems (#10036)

Modified Directed.sequence_le View on Github →

2023-06-16 15:28

Mathlib/Probability/Kernel/CondCdf.lean

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

Added Directed.sequence_le View on Github →