OAI/RingTheory/Multiplicity/ExceptionalFibreRestriction.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Lech.ReesRoot.rootFibreRestriction line 32
2. def OAI.Lech.ReesRoot.exceptionalRestriction line 36
3. lemma OAI.Lech.ReesRoot.rootFibreMap_mk line 40
4. lemma OAI.Lech.ReesRoot.rootFibreMap_restriction line 44