Theorem mem_pregroupoid_of_eq_on_source

Modification history