Commit 2025-08-27 10:43 09c7941b

View on Github →

chore(Logic/Equiv): golf entire trans_symm_eq_symm_trans_symm using rfl (#28565)

Estimated changes