Continuity #
We define the continuity
tactic using aesop
.
The continuity
attribute used to tag continuity statements for the continuity
tactic.
Instances For
The tactic continuity
solves goals of the form Continuous f
by applying lemmas tagged with the
continuity
user attribute.
Instances For
The tactic continuity
solves goals of the form Continuous f
by applying lemmas tagged with the
continuity
user attribute.