Commit 2024-03-13 02:56 526c94c0

View on Github →

fix: patch for std4#579 (#11347) This if @fgdorais's patch for https://github.com/leanprover/std4/pull/579.

Estimated changes