Theorem ssubset_irrfl

Modification history