Def configuration.dual

Modification history

2021-12-17 12:31
src/combinatorics/configuration.lean
feat(combinatorics/configuration): New file (#10773) …
Added configuration.dualView on Github →