Theorem Finset.pure_def

Modification history