Missing axiom(s) in the axiomatization of sets

[viper-admin]

Created by bitbucket user OmerSakar on 2019-12-13 16:23

See issues on the Silicon and Carbon projects:

https://github.com/viperproject/silicon/issues/405

https://github.com/viperproject/carbon/issues/292