Theorem CategoryTheory.PreGaloisCategory.has_decomp_quotients

Modification history