Def condM

Modification history

2022-11-06 08:48
Mathlib/Init/Control/Combinators.lean
feat: port Init.Control.Combinators (#530) …
Added condMView on Github →