mathlib3
7f99f5e1 - a definition of locally surjective and closed immersion

Commit

3 years ago

a definition of locally surjective and closed immersion

Author

samvang

samvang

Parents

Loading