WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Function (mathematics)

Revision #2075 → #2835 · back to history

modifiedFunction composition48b7c41a4f6a
FieldFrom #2075To #2835
mathlib.module—Init.Prelude
modifiedInjective function433553702c70
FieldFrom #2075To #2835
mathlib.module—Init.Data.Function
modifiedSurjective function27d4703b6487
FieldFrom #2075To #2835
mathlib.module—Init.Data.Function