summaryrefslogtreecommitdiff
path: root/test/examples/proofdefinefunction.tex
diff options
context:
space:
mode:
authorSimon-Kor <52245124+Simon-Kor@users.noreply.github.com>2024-08-12 15:55:17 +0200
committerSimon-Kor <52245124+Simon-Kor@users.noreply.github.com>2024-08-12 15:55:17 +0200
commit8a19eec1e581efa473af0173ba79b553e4191ffa (patch)
treef7225e37f2a699b8e557bd2fd05589222ec0177e /test/examples/proofdefinefunction.tex
parentb51f61e6be5be4729e61ede79fb0bd3cb26f57a6 (diff)
way way way more urysohn
Diffstat (limited to 'test/examples/proofdefinefunction.tex')
0 files changed, 0 insertions, 0 deletions