Relation
COARSER-GRANULARITY
Arity
:
2
Axioms:
(
=
(
Inverse
Finer-Granularity
)
Coarser-Granularity
)
Defined in theory:
Layers
Source code:
Layers.lisp