Theorem DFunLike.subsingleton_cod

Modification history