Theorem Algebra.FormallySmooth.exists_lift

Modification history