current assets |
---|
49de3../d30f9.. bday: 39140 doc published by PrCmT..Definition a5931.. := λ x0 x1 : (ι → ι) → ι → ι . λ x2 : ι → ι . x0 (x1 (x1 (x0 (x0 (x0 (x0 (x1 (x0 (x0 (x0 (x1 (x0 (x0 (x0 (x0 (x1 (x0 (x1 (x0 (x1 (x1 (x1 (x0 (x1 (x0 (x0 (x1 (x1 (x1 (x1 (x1 (x1 (x1 (x1 (x0 (x0 (x0 (x1 (x1 (x1 (x0 (x1 (x0 (x0 (x0 (x0 (x1 (x1 (x0 (x1 (x1 (x1 (x0 (x0 (x0 (x1 (x0 (x0 (x0 (x0 (x1 (x1 (x0 (x0 (x1 (x0 (x0 (x1 (x1 (x1 (x1 (x1 (x0 (x1 (x0 (x1 (x0 (x1 (x0 (x1 (x1 (x0 (x0 (x0 (x1 (x0 (x0 (x0 (x0 (x1 (x0 (x1 (x1 (x1 (x1 (x1 (x0 (x0 (x0 (x0 (x0 (x0 (x1 (x0 (x0 (x1 (x0 (x1 (x0 (x0 (x0 (x1 (x0 (x0 (x0 (x0 (x0 (x1 (x0 (x0 (x1 ( |
|