exportLemmaAsk :: Named CMD -> ProofStatus [EXPRESSION] ->
                  (Named CMD, ProofStatus [EXPRESSION])
exportLemmaAsk = exportLemmaGeneric
exportLemmaAsk :: Named CMD -> ProofStatus [EXPRESSION] ->
                  (Named CMD, ProofStatus [EXPRESSION])
exportLemmaAsk = exportLemmaGeneric
exportLemmaAsk = exportLemmaGeneric