-
Andrei Paskevich authored
Clone "with axiom ." or "with goal ." to change the default ("with lemma ." is also accepted, just in case).
9e6dacc7
Clone "with axiom ." or "with goal ." to change the default ("with lemma ." is also accepted, just in case).