Stream: math-comp users

Topic: independance of characters

view this post on Zulip Quentin VERMANDE (Apr 27 2023 at 16:00):

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?

view this post on Zulip Pierre Roux (Apr 27 2023 at 16:03):

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: Jul 15 2024 at 20:02 UTC