OAI/Algebra/AuslanderReiten/Fibers/FiberProductCoordinates.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.ArExplicit.T.fiberProductFirst_coordinates line 18
2. theorem OAI.ArExplicit.T.fiberRhoPair_bijective_of_productFirst line 30