Theorem hom_trivializationAt_baseSet

Modification history