Read about our upcoming Code of Conduct on this issue

Commit c9e0dbc4 authored by Lawrence Paulson's avatar Lawrence Paulson
Browse files

Removal of an unused theorem. Plus lots of white space

parent de7a40fb511d
This source diff could not be displayed because it is too large. You can view the blob instead.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment