Aaron Kaiser ead86c9fb7 Add reference to theorem

2023-07-13 11:26:15 +02:00

..

dlog'_implies_gamez.tex

simplified equations

2023-07-12 22:11:02 +02:00

gamez_implies_uf-nma.tex

Rewritings due to feedback

2023-06-21 18:45:32 +02:00

uf-nma_implies_suf-cma.tex

Add reference to theorem

2023-07-13 11:26:15 +02:00