enl:mathematical proofenhttps://en-word.net/lemma/mathematical_proof#mathematical_proof-n-lemmaOntolex unitsontolex:written representationmathematical proofβ download data as: .ttl