hasse): The Hasse diagram of `α × β` (#14978)

Commit

3 years ago

feat(combinatorics/simple_graph/hasse): The Hasse diagram of `α × β` (#14978) ... is the box product of the Hasse diagrams of `α` and `β`.

Author

YaelDillies

Parents