Def algebraic_geometry.AffineScheme.of_hom

Modification history