Theorem CategoryTheory.PreGaloisCategory.autMulEquivAutGalois_symm_app

Modification history