Theorem symm_trans_mem_contDiffGroupoid

Modification history