PR #19224 feat(topology/order): Add closure.mono

feat(topology/order): Add closure.mono #19224

mans0954 wants to merge 2 commits into master from mans0954/Closure.mono

Add closure.mono

85e3b3ee

Notation

3e45590f

github-actions added modifies-synchronized-file

mans0954 added awaiting-review

mans0954 closed this 2 years ago

mans0954 deleted the mans0954/Closure.mono branch 2 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

awaiting-review modifies-synchronized-file

Milestone

No milestone