1 (*Dummy theory to document dependencies *)
2
3 Cardinal_aux = AC_Equiv + first
3 Cardinal_aux = AC_Equiv