Theorem continuousInv_infᵢ

Modification history