Add a function to check if a linear extension of a poset is supergreedy. (Compare to #24632.)

Component: combinatorics

Author: Rohan Garg

Reviewer: Jori Mäntysalo

Issue created by migration from https://trac.sagemath.org/ticket/24700