for f being FinSequence holds f, Rev f are_fiberwise_equipotent