Skip to content

fix(WalkingArrow): drop redundant comp_arrow_id (simpNF)

a9ae996
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

feat(CategoryTheory/Limits/Shapes): add WalkingArrow category #39670

fix(WalkingArrow): drop redundant comp_arrow_id (simpNF)
a9ae996
Select commit
Loading
Failed to load commit list.