Aaron Kaiser 9ba0bc2ef3 Small fix in OMDL GGM proof

2023-05-31 13:16:46 +02:00

..

omdl.tex

Small fix in OMDL GGM proof

2023-05-31 13:16:46 +02:00

sdlog.tex

Finished OMDL proof in GGM

2023-05-30 21:45:00 +02:00