Theorem OneOneEquiv.to_many_one

Modification history