Theorem Fin.card_filter_univ_succ'

Modification history