Finiteness of Sets

See Finite_Sets.thy.

Something missing? Something broken? Any questions? Create a pull request or issue to let us know.
About this website