Def algebraic_geometry.structure_sheaf.to_pushforward_stalk_alg_hom

Modification history