Module AxiomsC
Require
ClassicalFacts
.
Require
FunctionalExtensionality
.
newly added *
Require
Export
Axioms
.
Axiom
prop_ext
:
ClassicalFacts.prop_extensionality
.