Theorem ModuleCat.Tilde.res_const

Modification history