Theorem Fin.card_filter_univ_succ

Modification history