flancian/garden
0
0
Fork 0
mirror of https://github.com/flancian/garden.git synced 2026-08-03 04:56:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
f99da2f9a92593d0aff970cafe4331e4f559052d
garden/proper subset.md
T
flancian e26cc36d7c Wow, forgot to use 'git mv', previous changelists are [[cursed]]. 
Will still revert journals to [[iso 8601]] after this commit.
2021-05-07 21:33:26 +02:00

122 B
Raw Blame History

proper subset

  • S1 is a proper subset of S2 iif S2 has some items which aren't in S1. That is, they are not equal.
Reference in New Issue View Git Blame Copy Permalink