Theorem IsInvariant.isFwInvariant

Modification history