FormalConjecturesForMathlib/RingTheory/Bialgebra/
13 declarations, 0 contain sorry, 0 declared as axioms; 2 files
Files
- Cohomology.lean 8 declarations
- TrivialModule.lean 5 declarations
FormalConjecturesForMathlib/RingTheory/Bialgebra/13 declarations, 0 contain sorry, 0 declared as axioms; 2 files