Skip to content

chore(Data): rename setOf to Set.ofPred#41507

Open
YaelDillies wants to merge 1 commit into
leanprover-community:masterfrom
YaelDillies:set_of_pred
Open

chore(Data): rename setOf to Set.ofPred#41507
YaelDillies wants to merge 1 commit into
leanprover-community:masterfrom
YaelDillies:set_of_pred

chore(Data): rename `setOf` to Set.ofPred`

4a0b40e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Verify Transient and Automated Commits
succeeded Jul 14, 2026 in 39s