Commit 2023-09-06 11:21 ac32e346
View on Github →feat: pullbacks in Stonean where one map is an open embedding (#6779)
We define pullbacks in Stonean of pairs f, i where i is an open embedding, explicitly as the inverse image under f of the image of i.