User:Jshflynn

About
Types of things you can do on this site:

$(1)$ Constructive work - Using old proofs to build new more powerful ones. The further from the axioms the better. The closer to the hunches, intuitions, conjectures the better.

$(2)$ Exhaustive work - Cover all possible questions. E.g. For transitive relations: Union, Set difference, Intersection, etc.

$(3)$ Perfective maintenance - Clean, tidy, trim etc.

Aim: Do $(1)$ at least once a week. If you can't do $(1)$ do type $(2)$ for concepts near it (might help). If you can't do anything put on some music and do $(3)$.

Definitions
User:Jshflynn/Definitions

Theorems
User:Jshflynn/Theorems

Sourced Definitions not on PW
User:Jshflynn/SDefinitions

Ideas to be developed
User:Jshflynn/Ideas