Skip to content

[Merged by Bors] - chore(CategoryTheory/Limits): rename mkFanLimit to Fan.IsLimit.mk#39580

Closed
chrisflav wants to merge 1 commit into
leanprover-community:masterfrom
chrisflav:fix-fanlimitmk
Closed

[Merged by Bors] - chore(CategoryTheory/Limits): rename mkFanLimit to Fan.IsLimit.mk#39580
chrisflav wants to merge 1 commit into
leanprover-community:masterfrom
chrisflav:fix-fanlimitmk

rename

a5cdd41
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Job log options

This job was skipped