Theorem AntisymmRel.antisymmRel_congr_left

Modification history

2025-01-26 13:15
Mathlib/Order/Antisymmetrization.lean
feat(Order/Antisymmetrization): `AntisymmRel` lemmas (#19571) …
Added AntisymmRel.antisymmRel_congr_leftView on Github →