is there a difference? if Russia had indeed banned tor, what would have happened? what would they have done which is different from 'some ISPs in Russia block

is there a difference? if Russia had indeed banned tor, what would have happened? what would they have done which is different from 'some ISPs in Russia block access to tor'?