Prove corollary Matroid.IsGood.isRegular of easy direction, which mirrors hard direction: includes graphic and cographic matroids and R10. This might involve proving that dualization preserves regularity. R10 and graphic matroids are already proved to be regular.
Prove corollary
Matroid.IsGood.isRegularof easy direction, which mirrors hard direction: includes graphic and cographic matroids and R10. This might involve proving that dualization preserves regularity. R10 and graphic matroids are already proved to be regular.