Property information

comment

A grouping class that depends on an assumption of homology between subclasses

Property relations