(no subject)

[mise]

ommg i must have a theorem out soon!
its so close, there's just a few issues to sort out with what the automorphism groups are or something
afjna