Theorem Module.Flat.exists_factorization_of_apply_eq_zero_of_free

Modification history