Theorem RootPairing.mem_range_root_of_mem_range_reflection_of_mem_range_root

Modification history