Commit 2024-01-28 09:50 19b5ded3

View on Github →

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

Estimated changes

Modified Mathlib/Logic/Encodable/Basic.lean

added theorem Directed.sequence_anti

added theorem Directed.sequence_le

Modified Mathlib/Probability/Kernel/CondCdf.lean

deleted theorem Directed.sequence_anti

deleted theorem Directed.sequence_le