Source: wikibot/axiom-of-extensionality

= Axiom of extensionality
{wiki=Axiom_of_extensionality}