`target` to the left in `∩` (#6583)

Commit

5 years ago

chore(data/equiv/local_equiv,topology/local_homeomorph): put `source`/`target` to the left in `∩` (#6583)

Author

urkud

Parents