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

Estimated changes