Theorem CategoryTheory.PreGaloisCategory.autIsoFibers_inv_app

Modification history