prove that hProp is a set
authorAnders Mörtberg <andersmortberg@gmail.com>
Wed, 2 Dec 2015 03:09:34 +0000 (22:09 -0500)
committerAnders Mörtberg <andersmortberg@gmail.com>
Wed, 2 Dec 2015 03:09:34 +0000 (22:09 -0500)
commitf290a733608e042768d93da587bd664d0e7b1830
tree7d8bad9780e8dbfa6f93071a72c6249fd10bae95
parentcdb7f8692d8416cd46ec298b717b11c03616a73e
prove that hProp is a set
examples/setquot.ctt