OAI/Algebra/AuslanderReiten/Tensor/BalancedTensorMap.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.ArExplicit.BalancedTensor.induction_on line 13
2. def OAI.ArExplicit.BalancedTensor.map line 30
3. theorem OAI.ArExplicit.BalancedTensor.map_tmul line 43
4. theorem OAI.ArExplicit.BalancedTensor.map_surjective line 48
5. def OAI.ArExplicit.BalancedTensor.liftLeft line 71
6. theorem OAI.ArExplicit.BalancedTensor.liftLeft_tmul line 83