Add exact Proposition 5.1 non-diagonal no-dual certificate

7b61fa8

verified

ProCreations commited on 10 days ago