Theorem imp_mono

Modification history

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