OAI/RingTheory/DirectFiniteness/WeightTransfer.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.KaplanskyCounterexample.Planar.transferWeight line 16

   Source documentation

   Add the weight at a to the parallel edge b, leaving a temporary zero.

   def transferWeight (w : α → A) (a b x : α) : A :=
   …

2. lemma OAI.KaplanskyCounterexample.Planar.transferWeight_zero line 20
3. lemma OAI.KaplanskyCounterexample.Planar.sum_transferWeight line 24
4. lemma OAI.KaplanskyCounterexample.Planar.sum_transferWeight_map line 32
5. lemma OAI.KaplanskyCounterexample.Planar.cycleSet_mem_iff_of_sameCycle line 53
6. def OAI.KaplanskyCounterexample.Planar.WeakBalanced.transfer line 59