Skip to content

fix: rename isInstanceReducible to isImplicitReducible (lean4#12650)

fa0a178
Select commit
Loading
Failed to load commit list.
Merged

chore: bump toolchain to v4.29.0-rc2 #368

fix: rename isInstanceReducible to isImplicitReducible (lean4#12650)
fa0a178
Select commit
Loading
Failed to load commit list.