Commit 2024-01-22 12:55 8ca0042c

View on Github →

fix(WithBot): fix 2 typos (#9900)

Estimated changes

modified theorem WithBot.lt_coe_iff
modified theorem WithTop.coe_lt_iff