Mathlib Changelog
v4
Changelog
About
Github
Theorem
Pi.map_apply
Modification history
2024-10-08 21:50
Mathlib/Logic/Function/Defs.lean
feat(Logic/Function): define `Pi.map` (#17482) …
Added
Pi.map_apply
View on Github →