Theorem Module.Flat.exists_factorization_of_apply_eq_zero

Modification history