relational_properties.v 28.9 KB