Theorem ModuleCat.Tilde.stalkToFiberLinearMap_toStalk

Modification history