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