Theorem Int.Ioc_filter_modEq_card

Modification history