Theorem Trivialization.smoothAt_iff

Modification history