doc-src/TutorialI/Types/document/Axioms.tex
changeset 26435 bdce320cd426
parent 19288 85b684d3fdbd
child 27027 63f0b638355c
equal deleted inserted replaced
26434:d004b791218e 26435:bdce320cd426