Commit 2025-05-09 21:49 3008304e
View on Github →feat(CategoryTheory): Equivalence.leftOp (#24728)
It is rather painful to write these two definitions inline, so here they are.
From Toric
feat(CategoryTheory): Equivalence.leftOp (#24728)
It is rather painful to write these two definitions inline, so here they are.
From Toric