Documentation
Iris
.
ProofMode
.
Patterns
Search
return to top
source
Imports
Init
Iris.ProofMode.Patterns.CasesPattern
Imported by