Commit 2024-11-26 08:42 1ebeab33

View on Github →

chore: move le_refl's simp attribute to definition (#19490)

Estimated changes

modified theorem le_refl