Zulip Chat Archive
Stream: Is there code for X?
Topic: Perron's criterion
Gareth Ma (Jun 15 2024 at 17:37):
Is Perron's irreducibility criterion in Mathlib?
Johan Commelin (Jun 17 2024 at 05:10):
I think it isn't
Last updated: May 02 2025 at 03:31 UTC