Skip to content

Removed the conflicting axiom.

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

Closes #20 (closed).

Merge request reports