Theorem ContMDiffSection.coe_nsmul

Modification history