Theorem Module.Flat.iff_forall_exists_factorization

Modification history