Theorem Function.iUnion_pNat_ptsOfPeriod

Modification history