Theorem isFullyInvariant_iff_isTwoSided

Modification history