There aren't really any complicated arguments being made, so I don't think a pro...

		rak1507 7 months ago \| parent \| context \| favorite \| on: Discrete Mathematics: An Open Introduction [pdf] There aren't really any complicated arguments being made, so I don't think a proof would be that involved.