Theorem Set.BijOn.congr

Modification history