Category:Interval collection: Difference between revisions
I found a better word for "Interval list" and a better intersection criterion between "Interval" and "Intervals" |
+cat |
||
| Line 3: | Line 3: | ||
[[:Category:Intervals]] → → → [[:Category:Interval collection]] ← ← ← [[:Category:Interval list]]''' | [[:Category:Intervals]] → → → [[:Category:Interval collection]] ← ← ← [[:Category:Interval list]]''' | ||
</div> | </div> | ||
[[Category:Interval]] | |||