Theorem Representation.invariants_eq_top

Modification history