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