Theorem Representation.mem_invariants

Modification history