Theorem Module.Flat.exists_factorization_of_isFinitelyPresented

Modification history