Home | History | Annotate | Download | only in source

Lines Matching full:satisfies

990    addition. Thus it satisfies the identity