Theorem Representation.linHom.mem_invariants_iff_comm

Modification history