Theorem ProbabilityTheory.Kernel.coe_mk

Modification history

2024-09-19 18:27

Mathlib/Probability/Kernel/Basic.lean

chore(Probability/Kernel): split Kernel.Basic (#16931) …

Modified ProbabilityTheory.Kernel.coe_mk View on Github →

2024-08-30 13:02

Mathlib/Probability/Kernel/Basic.lean

chore(Probability/Kernel): `initialize_simps_projections` (#15442) …

Added ProbabilityTheory.Kernel.coe_mk View on Github →