Commit 2025-07-06 01:51 79e8f5fa

View on Github →

feat(Order): simp lemma for applying OrderIso.ofHomInv (#26788)

Estimated changes