Mathlib Changelog
v4
Changelog
About
Github
Theorem
ENat.mul_top
Modification history
2024-01-16 23:32
Mathlib/Data/ENat/Basic.lean
chore(ENat/Basic): review (#9787) …
Added
ENat.mul_top
View on Github →