Theorem fderivInnerCLM_apply

Modification history