Def True'

Modification history

2026-05-05 08:39
MathlibTest/GCongr/Core.lean
feat(GCongr): `applyRflOrId` (#38556) …
Added True'View on Github →