Theorem Class.eq_univ_of_forall

Modification history