Theorem Trivialization.smoothOn

Modification history