Documentation
DY
.
Meta
.
Step
.
Options
Search
return to top
source
Imports
Init
Lean
Imported by
step
.
admitMono
source
opaque
step
.
admitMono
:
Lean.Option
Bool