Theorem toIcoMod_toIocMod

Modification history

2023-05-13 08:55

Mathlib/Algebra/Order/ToIntervalMod.lean

feat: port Algebra.Order.ToIntervalMod (#3952)

Added toIcoMod_toIocMod View on Github →

2023-05-02 10:23

Mathlib/Algebra/Order/ToIntervalMod.lean

Revert "feat: port Algebra.Order.ToIntervalMod (#2148)" (#3388) …

Deleted toIcoMod_toIocMod View on Github →

2023-04-11 09:57

Mathlib/Algebra/Order/ToIntervalMod.lean

feat: port Algebra.Order.ToIntervalMod (#2148) …

Added toIcoMod_toIocMod View on Github →