Theorem Representation.invariants_eq_inter

Modification history