Commit 2023-03-28 07:28 ef5f2ce9
View on Github →feat(set_theory/zfc/basic): simpler/more general Class.ext (#18306)
I failed to notice set.ext was simpler and more general than my custom Class.ext lemma. As such, I've replaced it.
feat(set_theory/zfc/basic): simpler/more general Class.ext (#18306)
I failed to notice set.ext was simpler and more general than my custom Class.ext lemma. As such, I've replaced it.