The Fashoda Meet Theorem for rectangle (0)

by Y Nakamura, A Trybulec
Venue:Formalized Mathematics