Commit 2025-03-01 11:50 b5d0d252

View on Github →

feat: a = b → AntisymmRel r a b (#22268)

Estimated changes

added theorem AntisymmRel.of_eq