instantiate finite_UNIV and card_UNIV for finfun type
instantiate finite_UNIV and card_UNIV for finfun type

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle