Theorem Pi.bit1_apply

Modification history

2024-06-09 14:51

Mathlib/Algebra/Group/Pi/Basic.lean

chore(*): drop some long-deprecated theorems (#13619)

Deleted Pi.bit1_apply View on Github →

2022-11-28 15:54

Mathlib/Data/Pi/Algebra.lean

feat: port Data.Pi.Algebra (#564) …

Added Pi.bit1_apply View on Github →