Theorem Representation.isProj_averageMap

Modification history