Skip to content

feat: use IsApply for AddConstMap - #45351

Open
EtienneC30 wants to merge 5 commits into
leanprover-community:masterfrom
EtienneC30:apply-addconstmap
Open

EtienneC30 wants to merge 5 commits into
leanprover-community:masterfrom
EtienneC30:apply-addconstmap

fix

46d2f47
Select commit
Loading
Failed to load commit list.
Sign in for the full log view