Theorem Set.Subsingleton.induction_on

Modification history