Theorem memHolder_const'

Modification history