Theorem Algebra.FormallySmooth.localization_map

Modification history