Theorem Valued.loc_const

Modification history