Documentation
Mathlib
.
Tactic
.
Finiteness
.
Attr
Search
return to top
source
Imports
Init
Aesop.Frontend
Mathlib.Init
Imported by
← Mathematical handbook
Finiteness tactic attribute
#