Hello! I have been searching for the independance of characters theorem in the MC library and could not find it, which is somewhat surprising given the size of the library. Did I miss it, or should I prove it?
I don't know that part of the library at all so I can't help, and I unfortunately don't know who could?
Last updated: Oct 13 2024 at 01:02 UTC