GitHub repository: wimmers/isabelle-finite
Primary language: Isabelle
Created: 2016-03-28T14:09:46Z
Description: Eisbach proof method for finiteness of sets