MikkW comments on Biextensional Equivalence

MikkW 30 Oct 2020 21:57 UTC
LW: 3 AF: 1
AF
$≅$ in as equivalence relation
I presume this is supposed to be “is an”?
- Rob Bensinger 31 Oct 2020 0:23 UTC
  LW: 2 AF: 1
  AF Parent
  Yep!