Add a theorem with issig equivalence about hProps
Merge pull request #197 from JasonGross/hProp-theorem

Add a theorem with issig equivalence about hProps