Documentation
LeanCert
.
Tactic
.
Bound
Search
return to top
source
Imports
Init
LeanCert.Tactic.Bound.Lemmas
Imported by
Bound Tactic Module
#
This module aggregates the bound tactic components:
Bound.Lemmas
- Tactic-facing lemmas for interval bounds