Theorem Flow.isInvariant_omegaLimit

Modification history