Commit b53488c

committed

Add inverses and move assoc nec cond to cross-nav

1 parent bb2c34d commit b53488cCopy full SHA for b53488c

2 files changed

sysml.library/Kernel Libraries/Kernel Semantic Library
- Occurrences.kerml
- Performances.kerml

Comments

(0)

Provide feedback