Theorem Diffeomorph.prodCongr_symm

Modification history