Theorem ContMDiffOn.cle_arrowCongr

Modification history