proved that lfp is equivariant (that simplifies equivariance proofs of inductively defined predicates)

use_thys ["Paper"];