LeanMachineLearning

4.2. Tactic.EqLift.ForMathlib.MeasurableEquiv🔗

Measurable equivalences

This file extends the theory of measurable equivalences, providing utilities for working with products and unit types.

Main declarations

  • MeasurableEquiv.punit: measurable equivalence between PUnits.

Module LeanMachineLearning.Tactic.EqLift.ForMathlib.MeasurableEquiv contains 1 exposed declarations.