Commit 2022-07-08 20:54 8a38a697
View on Github →feat(combinatorics/simple_graph/hasse): The Hasse diagram of α × β (#14978)
... is the box product of the Hasse diagrams of α and β.
feat(combinatorics/simple_graph/hasse): The Hasse diagram of α × β (#14978)
... is the box product of the Hasse diagrams of α and β.