Leonardo de Moura b3c725c142 perf(library/equations_compiler/util): lemma generation performance when ite is used to compile equations		2016-11-23 15:48:12 -08:00
..
lean	perf(library/equations_compiler/util): lemma generation performance when ite is used to compile equations	2016-11-23 15:48:12 -08:00