Item:Q6153: Difference between revisions
Created claim: subclass of (P1): invariant (Q330) |
Created claim: defining formula (P333): f(\lambda x)=\lambda^{\Delta}f(x) |
||
Property / defining formula | |||
f(\lambda x)=\lambda^{\Delta}f(x) | |||
Property / defining formula: / rank | |||
Normal rank |