Closed Caroline-99 closed 2 weeks ago
Added textual definition for the two terms + references AND removed redundant axioms
Added textual definition for the two terms + references AND removed redundant axioms