Talk:Class is Extensional

It occurred to me that with the new name for this result: Class is Extensional, we need to include a link to the term "extensional".

Turns out we have no such definition yet. Anyone care to do the appropriate research to set this up, with its usual rigour? --prime mover (talk) 08:19, 17 March 2022 (UTC)