Skip to content

connective_def: added def. of exists in terms of forall

Mallku Soldevila requested to merge rules/connective_def into master

connective_def: added def. of exists in terms of forall

Merge request reports