Theorem and_mono

Modification history

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