Def algebraic_geometry.structure_sheaf.is_fraction_prelocal

Modification history