Theorem CategoryTheory.PreGaloisCategory.functorToAction_comp_forget₂_eq

Modification history