8000 Commits · lusing/mathlib · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Nov 29, 2012

Dummy CartesianProduct
lusinga
committed
Add OrderedPair
lusinga
committed
Add union, intersection, difference and symmetric difference operations.
lusinga
committed
Add Set equal algorithm
lusinga
committed
Add subset function
lusinga
committed
Add in function for sets
lusinga
committed
define count for CountableSet and return count as its CardinalNumber
lusinga
committed
add initial set classes
$U-Louis-PC\Louis$ $U-Louis-PC\Louis$
U-Louis-PC\Louis
authored and
U-Louis-PC\Louis
committed
init mathlib
$U-Louis-PC\Louis$ $U-Louis-PC\Louis$
U-Louis-PC\Louis
authored and
U-Louis-PC\Louis
committed

0