Theorem ContinuousMap.isUnit_iff_forall_isUnit

Modification history