Commit f9fe0ea9 authored by Martin PORTALIER's avatar Martin PORTALIER

Update main_theorem.v

parent 3d62f31b
Pipeline #19220 failed with stages
in 2 minutes and 8 seconds