OAI/RepresentationTheory/RestrictedTilting/RationalHomWeights.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.FiberFunctorProof.IsRational.linHom line 13
2. lemma OAI.FiberFunctorProof.linHom_weight_apply line 22
3. lemma OAI.FiberFunctorProof.hasWeightsBetween_linHom line 39