fingolfin opened this issue 10 months ago · 2 comments
in addition, supercompact implies at least compact
Maybe @aaruni96 can look into it