Theorem Module.Flat.exists_factorization_of_comp_eq_zero_of_free

Modification history