jaj•a•person's notes
Search
Search
Dark mode
Light mode
Explorer
Tag: m/thm/set/naïve
2 items with this tag.
Canonical decomposition
public
m/thm/set/naïve
state/develop
lang/en
sembr
The intersection of nested inhabited sets may be empty
public
m/thm/set/naïve
state/tidy
lang/en
sembr