Theorem Algebra.FormallySmooth.of_split

Modification history