Theorem covariant_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 covariant_flip_iffView on Github →
2023-09-14 10:14
Mathlib/Algebra/CovariantAndContravariant.lean
chore(Co(ntra)variantClass): generalize and remove duplicates (#6677) …
Added covariant_flip_iffView on Github →