Theorem bug

Modification history

2024-09-05 05:04
test/congr.lean
fix: make `mkRichHCongr` reduce at default transparency (#16121) …
Added bugView on Github →