FormalConjectures/Subsets/
2 declarations, 0 contain sorry, 0 declared as axioms; 2 files
Files
- FC100OpenSet1.lean 1 declarations
- FC100SolvedSet1.lean 1 declarations
FormalConjectures/Subsets/2 declarations, 0 contain sorry, 0 declared as axioms; 2 files