Theorem Ctop.Realizer.ofEquiv_σ

Modification history