Namespace LocalizedModule 1 theorems
- Stalkwise family of maps spreads to one map near a point
LocalizedModule.exists_linearMap_mk_tmul_eq_smul_of_forall_exists_eq_mk0 below · cited by 1 · depth 35
LocalizedModule 1 theoremsLocalizedModule.exists_linearMap_mk_tmul_eq_smul_of_forall_exists_eq_mk 0 below · cited by 1 · depth 35