Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-05-05 03:48
3d1180fd
View on Github →
feat: Product of injective functions on sets (
#12656
)
Estimated changes
Modified
Mathlib/Data/Set/Function.lean
added
theorem
Set.BijOn.exists
added
theorem
Set.BijOn.forall
added
theorem
Set.BijOn.prodMap
added
theorem
Set.InjOn.prodMap
added
theorem
Set.InvOn.prodMap
added
theorem
Set.LeftInvOn.prodMap
added
theorem
Set.MapsTo.prodMap
added
theorem
Set.RightInvOn.prodMap
added
theorem
Set.SurjOn.prodMap