Theorem Finset.seqRight_def

Modification history