Theorem Module.isTrivialRelation_iff_vanishesTrivially

Modification history