Theorem Cycle.Subsingleton.congr

Modification history