Theorem Module.Flat.iff_forall_isTrivialRelation

Modification history