Skip to content

Removing the conflicting axiom.

Raul Garcia-Castro requested to merge issue-19 into master

Solves #19 (closed).

Merge request reports