chore: let Lean auto apply isBoundedDefault
tactic (#6485)
#4061
The logs for this run have expired and are no longer available.
Loading
isBoundedDefault
tactic (#6485)
#4061