58
the linux file system satisfies the zf axioms (lemmy.world)
submitted 1 year ago by to c/mathmemes@lemmy.blahaj.zone
15 comments fedilink hide all child comments
 
you are viewing a single comment's thread
view the rest of the comments
[–] 1 point 11 months ago

Oh. Your original 5th axiom didn’t mention unions.

  • permalink
  • fedilink
  • source
  • parent