Combinators

📁 Source: Mathlib/Control/Combinators.lean

Statistics

Metric	Count
Definitions condM, joinM	2
Theorems	0
Total	2

(root)

Definitions

Name	Category	Theorems
condM 📖	CompOp	—
joinM 📖	CompOp	7 math math: Option.joinM_eq_join, CategoryTheory.ofTypeMonad_μ_app, joinM_map_joinM, joinM_pure, joinM_map_map, joinM_map_pure, ultrafilter_converges_iff

---

← Back to Index