Theorem Module.Flat.of_forall_isTrivialRelation

Modification history