Skip to main content
Module agree
vstd
Module agree
Module Items
Enums
Functions
In vstd::
resource
vstd
::
resource
Module
agree
Copy item path
Source
Enums
§
AgreementRA
The Agreement resource algebra
Functions
§
lemma_
agree