Def F.B

Modification history

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