Commit 2024-12-10 15:41 d70fcf43

View on Github →

feat: Units.map of Units.mk (#19867) From FLT

Estimated changes

added theorem Units.map_mk