Non-trivial here means something specific (see the other reply), people say "non...

Rerarom on March 5, 2020 | parent | context | favorite | on: Landmark computer science proof cascades through p...

Non-trivial here means something specific (see the other reply), people say "non-trivial" in this context as an abbreviation of what it means, it's not a vague term that readers are asked to give an interpretation to.