Theorem Finset.iSup_option_toFinset

Modification history