Mirimanoff's congruence

ID: mirimanoff-s-congruence

New to topics? Read the docs here!