Commit 2024-05-05 03:48 3d1180fd

View on Github →

feat: Product of injective functions on sets (#12656)

Estimated changes

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