Commit 2025-12-10 17:42 dde6db95
View on Github →refactor: add gcongr tag to IsMeagre.mono (#32686)
Note that to add the gcongr attribute we are required to reorder the last two arguments of IsMeagre.mono.
refactor: add gcongr tag to IsMeagre.mono (#32686)
Note that to add the gcongr attribute we are required to reorder the last two arguments of IsMeagre.mono.