Theorem Equiv.piCongrLeft_sum_inr
Modification history
2025-02-21 13:51
Mathlib/Logic/Equiv/Basic.lean
chore: more renamings to fit the naming convention (#22148) …
Deleted Equiv.piCongrLeft_sum_inrView on Github →2024-08-27 13:20
Mathlib/Logic/Equiv/Basic.lean
chore: remove `autoImplicit` from `Logic.Equiv.Basic` (#16172) …
Modified Equiv.piCongrLeft_sum_inrView on Github →