Theorem CocompactMapClass.norm_le

Modification history