Commit 2022-12-12 05:26 3bd418e2

View on Github →

Algebra.order.sub.basic (#936) 10b4e499f43088dd3bb7b5796184ad5216648ab1 Easy one

Estimated changes

added theorem AddHom.le_map_tsub
added theorem OrderIso.map_tsub
added theorem le_mul_tsub
added theorem le_tsub_mul