Mathlib Changelog
v4
Changelog
About
Github
Def
Lean.Export.exportName
Modification history
2021-05-14 00:28
Mathlib/Util/Export.lean
feat(Util/Export): export format generator
Added
Lean.Export.exportName
View on Github →