Skip to content
GitLab
Explore
Sign in
Iris
Iris
Issues
#426
Notation `≼@{A}` is missing
We are probably missing such notations for more relations. It would be good to do a sweep.