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.
fix: patch for std4#579 (#11347) This if @fgdorais's patch for https://github.com/leanprover/std4/pull/579.