relational_properties.v 29.6 KB