Commit 2022-08-05 12:35 68cc6138

View on Github →

feat(algebraic_geometry/open_immersion): Restricting a morphism twice is isomorphic to one restriction. (#15710)

Estimated changes