Theorem Trivialization.smoothOn_iff

Modification history