Theorem Flow.isInvariant_iff_image_eq

Modification history