feat(Algebra): forgetful lemmas for map and comap on substructures
#165284
Triggered via pull request
December 17, 2025 22:07
YaelDillies
YaelDillies
submitted
#32889
Status
Success
Total duration
7s
Artifacts
–
maintainer_bors.yml
on: pull_request_review
Add ready-to-merge or delegated label
4s