perf(Tactic/FastInstance): use whnf on data fields#37924
Open
JovanGerb wants to merge 3 commits intoleanprover-community:masterfrom
Open
perf(Tactic/FastInstance): use whnf on data fields#37924JovanGerb wants to merge 3 commits intoleanprover-community:masterfrom
whnf on data fields#37924JovanGerb wants to merge 3 commits intoleanprover-community:masterfrom
