Theorem CategoryTheory.PreGaloisCategory.endEquivAutGalois_mul

Modification history