Add reflexive subuniverse theory
Indentation
Add reflexive subuniverses theory
Reflexive -> Reflective
Style corrections
Proof of paths_subuniverse without pullbacks
add ReflectiveSubuniverse.v
fix details
Merge pull request #393 from KevinQuirin/reflexive_subuniverse

Reflective subuniverses
./autogen.sh