mathlib
d5c45ac1 - Make x explicit in gen_loop_homeo_of_is_empty

Commit
2 years ago
Make x explicit in gen_loop_homeo_of_is_empty
Author
Parents
Loading