Theorem ModuleCat.Tilde.exists_const

Modification history