Leonardo de Moura 76f989d51c chore(library/init/data/bool/lemmas): add (coe tt) and (coe ff) simp lemmas		2017-03-05 09:50:01 -08:00
..
basic.lean
default.lean
lemmas.lean