| current assets |
|---|
db3df../ffea7.. bday: 39200 doc published by PrCmT..Param a5931.. : ((ι → ι) → ι → ι) → CN (ι → ι)Theorem 0fd7c.. : ∀ x0 : ι → ι . ∀ x1 . a5931.. (λ x3 : ι → ι . λ x4 . x3 x1) (λ x3 : ι → ι . λ x4 . x3 x1) = a5931.. (λ x3 : ι → ι . λ x4 . x3 x1) (λ x3 : ι → ι . λ x4 . x3 x1)...
|
|