Skip to content

Use ⊊ instead of ⊂.

Jacques-Henri Jourdan requested to merge jh/better_strict_inclusion into master

This is a less ambiguous notation. I am use to see ⊂ as being the non-strict inclusion.

Merge request reports