Theorem Module.Flat.tfae_equational_criterion

Modification history