Theorem Representation.averageMap_invariant

Modification history