Skip to content

add simp tag for map0_mul to match the tag on map0_one

f4a7e82
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Closed

[Merged by Bors] - feat(Algebra/Colimit/DirectLimit): add Algebra structure for DirectLimit #38672

add simp tag for map0_mul to match the tag on map0_one
f4a7e82
Select commit
Loading
Failed to load commit list.