Def Equiv.sigmaEquivProd
Modification history
2023-08-10 19:52
Mathlib/Logic/Equiv/Defs.lean
chore: banish `Type _` and `Sort _` (#6499) …
Modified Equiv.sigmaEquivProdView on Github →2023-07-03 14:48
Mathlib/Logic/Equiv/Defs.lean
refactor: move all `register_simp_attr`s to 1 file (#5681) …
Modified Equiv.sigmaEquivProdView on Github →