Skip to content
Snippets Groups Projects
Commit 960d0d36 authored by Aurélien Lamercerie's avatar Aurélien Lamercerie
Browse files

New rule to deduce a relation from restriction (2)

parent d74c6391
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment