Go back to the tag's page.
Groupoid over field geom unibranch Also added a (virtually empty) chapter entitled "Spaces over Fields".
Normality and fibre product