Theorem memHolder_const

Modification history