Def F.A

Modification history

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