Something went wrong on our end
-
Andrei Paskevich authored
Clone "with axiom ." or "with goal ." to change the default ("with lemma ." is also accepted, just in case).
Andrei Paskevich authoredClone "with axiom ." or "with goal ." to change the default ("with lemma ." is also accepted, just in case).