remove unused packages
todo; formatting
wording
proof that epsilon is continuous
no space between enum items
wording
proof of lub preservation initial
refactor \mathbb{N} -> \bbN