Document syntax of clone
Hello,
I did not find explanation of this syntax (and equivalents) in the doc:
clone export A with axiom .
Can this be added ?
Hello,
I did not find explanation of this syntax (and equivalents) in the doc:
clone export A with axiom .
Can this be added ?