Theorem ManyOneDegree.of_eq_of

Modification history