Talk:Exists Subset which is not Element
Jump to navigation
Jump to search
Ideas on rename? I'm happy with it as it is. I can't think of a rename that would not make it more clumsy. --prime mover (talk) 11:00, 7 May 2022 (UTC)
Ideas on rename? I'm happy with it as it is. I can't think of a rename that would not make it more clumsy. --prime mover (talk) 11:00, 7 May 2022 (UTC)