3 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Dan Frumin	2b5a1fd4f3	Subset relation and extensionality	2019-01-21 18:47:18 +01:00
Dan Frumin	73e87b6b1d	Make set_eq and instance direclty	2019-01-21 18:15:33 +01:00
Dan Frumin	ab51715fd3	initial import	2019-01-21 17:31:20 +01:00