_1)\oplus_{comp}\Omega^k(X_2)\to\Omega^k(X_1\cup_f X_2)$$ given by setting, for every plot $p:U\to X_1\cup_f X_2$ defined on a connected $U$, $$\mathcal{L}^k(\omega_1\oplus\omega_2)(p)=\left\{\begin{array}{ll} 
\omega_1(p_1) & \mbox{if }p=\hat{i}_1\circ p_1\mbox{ for some plot }p_1\mbox{ of }X_1,\\
\omega_2(p_2) & \mbox{if }p=i_2\circ p_2\mbox{ for some plot }p_2\mbox{ of }X_2.
\end{array}\right.$$

For any two diffeological spaces $X_1$ and $X_2$ and for every smooth map $f:X_1\supseteq Y\to X_2$ the map $\mathcal{L}^k$ is well-defined.

We need to show that $\mathcal{L}^k(\omega_1\oplus\omega_2)(p)$ does not depend on the choice of the lift of $p$ to a plot $p_i$ of $X_i$, and that the assignment $p\mapsto\mathcal{L}^k(\omega_1\oplus\omega_2)(p)$ satisfies the smooth compatibility condition. The former of these claims is obvious if $p$ lifts to a plot of $X_2$; indeed, since $i_2$ is injective, such a lift is unique. Let $p_1$ and $p_1'$ be two lifts of $p$ to some plots of $X_1$. Then they are obviously $f$-equivalent. Since $\omega_1$ is $f$-invariant by assumption, we have that $\omega_1(p_1)=\omega_1(p_1')$, which implies that $\mathcal{L}^k(\omega_1\oplus\omega_2)(p)$ is well-defined.

Let us now show that $\mathcal{L}^k(\omega_1\oplus\omega_2)$ satisfies a smooth compatibility condition. Let $h:U'\to U$ be an ordinary smooth map
_ 1)\oplus_{comp}\Omega^k(X_2)\to\Omega^k(X_1\cup_f X_2)$$ given by setting, for every plot $ p: U\to X_1\cup_f X_2 $ defined on a affiliated $ U$, $ $ \mathcal{L}^k(\omega_1\oplus\omega_2)(p)=\left\{\begin{array}{ll } 
 \omega_1(p_1) & \mbox{if } p=\hat{i}_1\circ p_1\mbox { for some plot } p_1\mbox { of } X_1,\\ 
 \omega_2(p_2) & \mbox{if } p = i_2\circ p_2\mbox { for some plot } p_2\mbox { of } X_2. 
 \end{array}\right.$$ 

 For any two diffeological space $ X_1 $ and $ X_2 $ and for every smooth function $ f: X_1\supseteq Y\to X_2 $ the function $ \mathcal{L}^k$ is well - defined. 

 We need to express that $ \mathcal{L}^k(\omega_1\oplus\omega_2)(p)$ does not count on the choice of the lift of $ p$ to a plot $ p_i$ of $ X_i$, and that the assignment $ p\mapsto\mathcal{L}^k(\omega_1\oplus\omega_2)(p)$ satisfies the smooth compatibility condition. The early of these claims is obvious if $ p$ lifts to a plot of $ X_2 $; indeed, since $ i_2 $ is injective, such a airlift is alone. Let $ p_1 $ and $ p_1'$ be two lifts of $ p$ to some plots of $ X_1$. Then they are obviously $ f$-equivalent. Since $ \omega_1 $ is $ f$-invariant by assumption, we have that $ \omega_1(p_1)=\omega_1(p_1')$, which imply that $ \mathcal{L}^k(\omega_1\oplus\omega_2)(p)$ is well - defined. 

 Let us now express that $ \mathcal{L}^k(\omega_1\oplus\omega_2)$ satisfies a smooth compatibility condition. Let $ h: U'\to U$ be an average smooth function
_1)\oplks_{comp}\Omega^k(X_2)\to\Omega^k(X_1\cuk_f X_2)$$ given by setjibg, for every plot $p:U\go X_1\cup_f X_2$ defined on a connxctee $U$, $$\mqthcal{L}^k(\omega_1\oplus\omegx_2)(p)=\left\{\begpn{array}{ll} 
\omeja_1(p_1) & \mbox{if }p=\hat{m}_1\dirc p_1\mnjx{ fkv somz 'lot }p_1\mbox{ of }X_1,\\
\pmega_2(p_2) & \mbmx{if }p=i_2\circ p_2\mtob{ yor some plot }p_2\mbox{ of }X_2.
\end{array}\righe.$$

For anu hwo diffeologisal x[acea $X_1$ and $X_2$ and for every smooth map $f:X_1\supstteq Y\to X_2$ the map $\mathcal{L}^k$ is well-defined.

Wf nefd to show that $\mahhcal{L}^k(\omegq_1\opltw\omega_2)(p)$ does not depend on the chojce of the lift of $p$ to a plot $o_i$ of $X_i$, and thqt thf assignment $p\mapfto\mathcal{L}^k(\omega_1\oplgs\omega_2)(l)$ satisfies thc smomth compatibility conditmon. The former of thgse claims ia obvious if $p$ lidtw to d plmt ow $X_2$; kndted, sjnce $i_2$ is injective, such a lifr is unique. Let $p_1$ amd $i_1'$ be two lifta of $p$ tj some plots of $X_1$. Then they are obviousny $r$-equivalent. Since $\omega_1$ is $f$-invariant by assomption, we have that $\omega_1(p_1)=\omega_1(p_1')$, which implies that $\mathcan{L}^k(\omxgx_1\opouf\uneha_2)(p)$ is well-defined.

Let us now show that $\mathcaj{M}^k(\pmvga_1\oplus\omega_2)$ satlsfies a smooth cokpwtofility conditkon. Lec $h:H'\to U$ be an ordinagy smoojh map
_1)\oplus_{comp}\Omega^k(X_2)\to\Omega^k(X_1\cup_f X_2)$$ given by setting, for every X_1\cup_f defined on connected $U$, $$\mathcal{L}^k(\omega_1\oplus\omega_2)(p)=\left\{\begin{array}{ll} for plot }p_1\mbox{ of \omega_2(p_2) & \mbox{if p_2\mbox{ for some plot }p_2\mbox{ of \end{array}\right.$$ For any two diffeological spaces $X_1$ and $X_2$ and for every smooth $f:X_1\supseteq Y\to X_2$ the map $\mathcal{L}^k$ is well-defined. We need to show that does depend the of the lift of $p$ to a plot $p_i$ of $X_i$, and that the assignment $p\mapsto\mathcal{L}^k(\omega_1\oplus\omega_2)(p)$ the smooth compatibility condition. The former of these is obvious if $p$ to a plot of $X_2$; since is injective, a is Let $p_1$ and be two lifts of $p$ to some plots of $X_1$. Then they are obviously $f$-equivalent. Since $\omega_1$ $f$-invariant by have that which that is well-defined. Let show that $\mathcal{L}^k(\omega_1\oplus\omega_2)$ satisfies a smooth $h:U'\to U$ be an ordinary smooth map
_1)\oplus_{comp}\Omega^k(X_2)\to\Omega^k(X_1\Cup_f X_2)$$ given By setTinG, foR eVery Plot $P:U\to X_1\cup_f X_2$ defiNEd on A connected $U$, $$\mathcal{L}^k(\omEga_1\opLuS\OmegA_2)(P)=\lEft\{\beGin{arraY}{Ll} 
\OMEga_1(P_1) & \mBoX{if }P=\hAT{i}_1\Circ p_1\MboX{ for somE plot }p_1\mbox{ Of }X_1,\\
\OmEga_2(p_2) & \mbox{if }p=i_2\CIrC p_2\mbox{ for sOme Plot }p_2\mbox{ of }X_2.
\End{Array}\rIgHt.$$

FOR any tWo dIffeoLogicaL Spaces $x_1$ and $X_2$ and fOr EVery smOOth map $f:x_1\SUpSeteQ Y\to X_2$ the map $\mathcaL{l}^k$ IS well-defined.

We Need to ShOW tHAT $\maThcAl{L}^k(\omega_1\oPlUs\omeGA_2)(p)$ does nOT dEPENd oN The choice of thE lift of $p$ to a PLot $P_i$ of $X_i$, AnD thAT the asSignmEnT $P\maPsto\mathcal{l}^k(\omEga_1\oplus\oMega_2)(p)$ sATisfies THe smootH compaTibIliTy coNDiTiOn. THe FOrmER oF thESe cLaims is oBvIoUs if $p$ LiftS TO A Plot Of $X_2$; IndeEd, sinCe $i_2$ is injectivE, suCh a lIFt iS uniqUe. Let $P_1$ and $P_1'$ bE two lIfts of $P$ to soMe Plots of $X_1$. Then theY are Obviously $F$-eqUiValEnT. SincE $\Omega_1$ iS $f$-iNvaRiant by AssumptIOn, wE hAVE ThAt $\omega_1(p_1)=\omega_1(p_1')$, whicH iMPLiEs that $\maThcal{L}^K(\OmEgA_1\Oplus\omeGa_2)(P)$ is Well-DEFined.

let uS NoW show thaT $\mathcAL{L}^K(\oMega_1\oplUs\Omega_2)$ sAtIsfIes A smooTH comPatibiLity condItion. lEt $h:U'\to U$ be an ordINary smooth map
_1)\oplus_{comp}\Omega^k(X _2)\to\Ome ga^k( X_1 \cu p_ f X_ 2)$$  given by sett i ng,for every plot $p:U\to  X_1\ cu p _f X _ 2$  defi ned ona  c o n nec te d$U$ ,$ $\ mathc al{ L}^k(\o mega_1\opl us\ om ega_2)(p)=\l e ft \{\begin{a rra y}{ll} 
\ome ga_ 1(p_1)  &  \m b ox{if  }p =\hat {i}_1\ c irc p_ 1\mbox{ f or some p l ot }p_1 \ m bo x{ o f }X_1,\\
\omega_ 2 (p _ 2) & \mbox{if}p=i_2 \c i rc p _2\ mbo x{ for som eplot} p_2\mbo x {o f }X_ 2 .
\end{array} \right.$$
F orany tw odif f eologi cal s pa c es$X_1$ and $ X_2$  and foreverys mooth m a p $f:X_ 1\sups ete q Y \toX _2 $the  m a p $ \ ma thc a l{L }^k$ iswe ll -defi ned. W e  nee d t o sh ow th at $\mathcal{ L}^ k(\o m ega _1\op lus\o mega _2 )(p)$  doesnot d ep end on the choi ce o f the lif t o f$p$  t o a p l ot $p_ i$of$X_i$,and tha t  th ea s s ig nment $p\mapsto\ma th c a l{ L}^k(\om ega_1\ o pl us \ omega_2) (p )$sati s f ies t he s m oo th compa tibili t yco ndition .The fo rm erofthese clai ms isobviousif $p $  lifts to a pl o t of $X_2$; i n de e d ,s ince  $i _2$ is inje ctiv e , su ch a li fti s uni que.Le t  $ p _1$ and $p_1'$ be t wo  lifts  of $ p$ to some pl ots of $X_ 1 $ .  Then th ey a r eo bviously $f$-e quiva lent. Sinc e  $\omega _1$ i s $f$-in variant b y assumpti on,  we  ha vet h at  $\omega_1(p_ 1 ) =\om eg a_1(p_1 ')$ , which  im pli estha t$\mathcal {L}^k(\o me ga _1 \o plu s\ome g a_2)(p)$  i s w el l-d efine d .

Let  us n ow s ho wt hat  $\math c al { L }^k( \o me ga_1 \op lu s\ome ga_2 ) $ s atisfie s a smoot h c o mpat ib il ity con dition. Let $ h: U'\to U$ b eanordina r y  smoothmap
_1)\oplus_{comp}\Omega^k(X_2)\to\Omega^k(X_1\cup_f X_2)$$_given by_setting, for every plot_$p:U\to X_1\cup_f_X_2$_defined on_a_connected $U$, $$\mathcal{L}^k(\omega_1\oplus\omega_2)(p)=\left\{\begin{array}{ll}_
\omega_1(p_1) & \mbox{if_}p=\hat{i}_1\circ p_1\mbox{ for some_plot }p_1\mbox{ of_}X_1,\\
\omega_2(p_2)_& \mbox{if }p=i_2\circ p_2\mbox{ for some plot }p_2\mbox{ of }X_2.
\end{array}\right.$$

For any two diffeological spaces_$X_1$_and $X_2$_and_for_every smooth map $f:X_1\supseteq Y\to_X_2$ the map $\mathcal{L}^k$ is_well-defined.

We need_to show that $\mathcal{L}^k(\omega_1\oplus\omega_2)(p)$ does not depend on_the_choice of the_lift of $p$ to a plot $p_i$ of $X_i$,_and that the assignment $p\mapsto\mathcal{L}^k(\omega_1\oplus\omega_2)(p)$ satisfies_the smooth compatibility_condition._The_former of these claims_is obvious if $p$ lifts to_a plot of $X_2$; indeed, since_$i_2$ is injective, such a lift is_unique. Let $p_1$ and $p_1'$ be_two lifts of $p$ to_some plots_of $X_1$. Then they are_obviously $f$-equivalent. Since_$\omega_1$ is_$f$-invariant by assumption,_we have that $\omega_1(p_1)=\omega_1(p_1')$, which implies_that $\mathcal{L}^k(\omega_1\oplus\omega_2)(p)$ is_well-defined.

Let us now show that $\mathcal{L}^k(\omega_1\oplus\omega_2)$_satisfies_a smooth compatibility_condition._Let_$h:U'\to U$_be an ordinary_smooth_map