OAI/Algebra/Finitistic/Bar/CountProjective.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.DerivedBar.outerTensor_free line 20
2. instance OAI.DerivedBar.countWeight_free line 25
3. instance OAI.DerivedBar.countComplex_projective line 32
4. instance OAI.DerivedBar.countSum_projective line 37
5. instance OAI.DerivedBar.integerCount_isKProjective line 45
6. instance OAI.DerivedBar.integerCountSum_isKProjective line 51