Theorem Finset.bind_def

Modification history