Theorem Algebra.FormallySmooth.localization_base

Modification history