Theorem contDiffGroupoid_zero_eq

Modification history