We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
75dd820
Fixed incorrect ranking of LHS classes of strict axioms bug pointed o…
