module

public import TauCeti.GroupTheory.SpecificGroups.CFSG.Classification

public section

universe u

theorem CFSGComparator.classification : TauCeti.ClassificationStatement.{u} := sorry