lean2/library/data/set/default.lean

/-
Copyright (c) 2014 Jeremy Avigad. All rights reserved.
Released under Apache 2.0 license as described in the file LICENSE.
Author: Jeremy Avigad
-/
import .basic .function .map .finite
refactor(library/data/set): expand set.lean to set directory 2015-04-05 13:27:15 +00:00			`/-`
			`Copyright (c) 2014 Jeremy Avigad. All rights reserved.`
			`Released under Apache 2.0 license as described in the file LICENSE.`
			`Author: Jeremy Avigad`
			`-/`
feat(library/data/set/finite): start the theory of finite sets 2015-08-05 02:46:22 +00:00			`import .basic .function .map .finite`