Skip to content

Commit

Permalink
Completed the properOverlaps relations and inverse
Browse files Browse the repository at this point in the history
  • Loading branch information
@emanueleghedini
emanueleghedini committed Dec 22, 2024
1 parent 2c0fad5 commit 9158797
Showing 1 changed file with 113 additions and 55 deletions.
Loading

0 comments on commit 9158797

Please sign in to comment.