It generalizes even further: If you need to prove B, and you know A implies B, a... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

hgsgm on Dec 12, 2022 | parent | context | favorite | on: A list of advanced math tricks by Terence Tao

It generalizes even further: If you need to prove B, and you know A implies B, all you need to prove is A.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact