FC100SolvedSet1

A random subset of 100 non-open problems, drawn uniformly at random from all problems without the category research open tag (solved, test, API, etc.).

def Subsets.FC100SolvedSet1.problems : List Lean.Name

Equations

• One or more equations did not get rendered due to their size.