Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-07-16 11:35 9a801ef6

View on Github →

docs(order/rel_iso): add module docstring (#8249)

Estimated changes

modified theorem rel_iso.apply_symm_apply