Commit 2024-02-15 16:16 15a6827f
View on Github →chore(Topology/Order): delete 2 lemmas (#10576) They were deprecated since the file was ported in #2052
chore(Topology/Order): delete 2 lemmas (#10576) They were deprecated since the file was ported in #2052