Skip to content

feat(Analysis): use IsApply for ContDiffMapSupportedIn#40607

Open
mcdoll wants to merge 1 commit into
leanprover-community:masterfrom
mcdoll:IsApplyCDSI
Open

feat(Analysis): use IsApply for ContDiffMapSupportedIn#40607
mcdoll wants to merge 1 commit into
leanprover-community:masterfrom
mcdoll:IsApplyCDSI

initial commit

e9097c0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
label-and-report-new-contributor
succeeded Jun 15, 2026 in 3s