Theorem ContMDiffSection.coeFn_mk

Modification history