settheory tweaks
settheory: add 'intersection of cartesian products equals the product of intersections'
top -- proof that prodtop of subspaces is the subspace of prodtop
add definition of closed set
add code for gale shapley algorithm
add gitignore for ignoring pyc files
change GS code to import a module dynamically based on the command line input
gs.py -- log the match state at each step, optionally