Theorem contravariant_flip_iff

Modification history

2024-09-14 05:31

Mathlib/Algebra/Order/Monoid/Unbundled/Defs.lean

chore: tidy/move/deprecate `Init.Logic` and `IsSymmOp` more (#16757) …

Modified contravariant_flip_iff View on Github →

2023-09-14 10:14

Mathlib/Algebra/CovariantAndContravariant.lean

chore(Co(ntra)variantClass): generalize and remove duplicates (#6677) …

Added contravariant_flip_iff View on Github →